(define (sub-int a b)
    (if (> a b)
    0
    (+ a (sub-int (+ 1 a) b))))

; debug code
; (trace sub-int)
(sub-int 3 4)